Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
351	Automatic Error Detection for Natural Language Generation ‡ 1 Add to Reading List Source URL: web.mysites.ntu.edu.sg Language: English - Date: 2009-07-01 10:29:29 Compiler construction Combinatorics Language Parsing Formal grammar Head-driven phrase structure grammar Syntax Semantics Bottom-up parsing Formal languages Linguistics Grammar
352	The Hinoki Treebank A Treebank for Text Understanding Francis Bond1 , Sanae Fujita1 , Chikara Hashimoto2 , Kaname Kasahara1, Shigeko Nariyama3, Eric Nichols3 , Akira Ohtani4 , Takaaki Tanaka1 , and Shigeaki Amano1 1 Add to Reading List Source URL: web.mysites.ntu.edu.sg Language: English - Date: 2009-07-01 10:28:52 Formal languages Statistical natural language processing Lexical semantics Corpus linguistics Treebank Parsing Stochastic context-free grammar Hyponymy Natural language processing Linguistics Computational linguistics Science
353	Grounding Language with Points and Paths in Continuous Spaces Jacob Andreas and Dan Klein Computer Science Division University of California, Berkeley {jda,klein}@cs.berkeley.edu Add to Reading List Source URL: nlp.cs.berkeley.edu Language: English - Date: 2014-11-13 15:24:06 Semantics Language Grammar Speech recognition Philosophy of language Natural language processing Machine learning Formal semantics Linguistics Science Computational linguistics
354	95 Conclusion he introduction of this book asked several questions about the role of grammar in the language arts and English classroom. This con clusion summarizes some of the answers. Add to Reading List Source URL: wac.colostate.edu Language: English - Date: 2011-03-07 21:42:32 Formal languages Grammar Style Fiction Formal grammar E-Prime Question Zellig Harris TPR Storytelling Linguistics Language Semantics
355	The Signal Economy Publishing Success in a Web of Sensors, Senses and Semantics 24 February 2014 John Blossom, Shore Communications Inc. Add to Reading List Source URL: nfais.memberclicks.net Language: English - Date: 2014-07-02 17:59:32 Analytics Signal Business Statistics Science Business intelligence Formal sciences Software and Information Industry Association
356	Termination Analysis with Compositional Transition Invariants? Daniel Kroening1 , Natasha Sharygina2,4 , Aliaksei Tsitovich2 , and Christoph M. Wintersteiger3 1 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-04-30 09:51:18 Program logic Formal methods Mathematical logic Static program analysis Termination analysis Predicate transformer semantics Transitive closure Algorithm Control flow Mathematics Abstract algebra Theoretical computer science
357	Adding formal semantics to the Web building on top of RDF Schema Jeen Broekstra1 , Michel Klein2 , Stefan Decker3 , Dieter Fensel2 , Ian Horrocks4 1 2 3 Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2000-10-04 10:17:47 Data RDF Schema Resource Description Framework Ontology Resource Knowledge representation and reasoning Semantic reasoner Description logic Web Ontology Language Semantic Web Information Science
358	7 Pattern Matcher Program file for this chapter: match Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2003-12-25 21:09:56 Software engineering Predicate logic Formal languages Pattern matching Predicate Logo Quantification AWK Semantics Logic Linguistics
359	Probabilistic Approaches in Ontologies: Joining Semantics and Uncertainty for AUV Persistent Autonomy F. Maurelli, Z. A. Saigol, G. Papadimitriou, T. Larkworthy, V. De Carolis, D.M. Lane Ocean Systems Laboratory School o Add to Reading List Source URL: osl.eps.hw.ac.uk Language: English - Date: 2014-04-17 08:56:24 Information science Semantic Web Knowledge Technical communication Knowledge representation Upper ontology Web Ontology Language Formal ontology Probabilistic logic Ontology Information Science
360	Ceusters W, Buekens F, De Moor G, Waagmeester A. The distinction between linguistic and conceptual semantics in medical terminology and its implications for NLP-based knowledge acquisition. Meth Inform Med 1998; 37:327-3 Add to Reading List Source URL: www.opengalen.org Language: English - Date: 2012-03-07 04:23:16 Ontology Information science Technical communication Semantic Web Knowledge representation DOGMA SNOMED CT Semantics Formal ontology Science Information Knowledge

UPDATE